location |
trace |
/var/opt/lsb/test/olver-core/2013-01-21_10-20-40/math_cexp_scenario.utz (math_cexp_scenario.utt), line 195 |
occurence |
scenario |
math_cexp_scenario |
specification function |
cexp_spec() |
parameter value |
CallContext context = [pid=14189,thr=b75376c0] |
parameter value |
UnifloatComplex * @x = (float) NaN + i *(float) -0.0000000000000000e+00 (-0x.00000000P1F) |
parameter value |
UnifloatComplex * x = (float) NaN + i *(float) -0.0000000000000000e+00 (-0x.00000000P1F) |
return value |
(UnifloatComplex *) (float) NaN + i *(float) NaN |
coverage & branch |
C Some part of argument is NaN |
properties |
REQ failed |
cexpf.01 |
REQ failed |
cexpf.02 |
expected value |
(float) NaN + i *(float) -0.0000000000000000e+00 (-0x.00000000P1F) |
kind |
POSTCONDITION_FAILED |